Formal group - PDFSEARCH.IO - Document Search Engine

Formal group
Results: 428

#	Item
21	657 Documenta Math. Local Leopoldt’s Problem for Rings of Integers in Abelian p-Extensions Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:28:17 Algebra Abstract algebra Ring theory Algebraic number theory Different ideal Galois module LubinTate formal group law Field extension Valuation Ring
22	Contemporary Mathematics Commutative Morava homology Hopf algebras Hal Sadofsky and W. Stephen Wilson Abstract. We give the Dieudonn´ e module theory for Z/2(pn − 1)-graded bicommutative Hopf algebras over Fp . These Add to Reading List Source URL: www.math.jhu.edu Language: English - Date: 2014-05-20 17:17:38 Algebra Abstract algebra Mathematics Algebras Multilinear algebra Representation theory Algebraic topology Hopf algebras Formal group Lie algebra Exterior algebra Von Neumann algebra
23	Moduli Spaces Two Riemann surfaces of the same topological type can, of course, be conformally inequivalent; but how many conformal structures are there, and how can one deform them ? Take for example an annulus A(r, R) Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2011-02-14 06:36:11 Moduli theory Riemann surfaces Differential geometry Geometric topology Quantum field theory Moduli space Mapping class group Conformal geometry Moduli Teichmller space Moduli stack of formal group laws
24	Mapping WordNet to the Basic Formal Ontology Selja Seppälä June 8, 2015 Buﬀalo Ontology Research Group MeeFng Add to Reading List Source URL: seljaseppala.files.wordpress.com Language: English - Date: 2015-06-16 13:24:06 Knowledge representation Computational linguistics Ontology Open data Semantic Web WordNet Web Ontology Language Word-sense disambiguation Upper ontology Draft:Outline of ontologies
25	The training ofgroup psychotherapists continues to expand, with consensus appearing on what to offer in a training program. However, little attention is given to formal evaluation and feedback procedures within a trainin Add to Reading List Source URL: www.minesandassociates.com Language: English - Date: 2016-01-02 13:48:02 Clinical psychology Mental health Psychotherapy Social work Group psychotherapy Play therapy American Group Psychotherapy Association
26	Granularity in reference to spatio-temporal location and relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Granularity Process philosophy Basic Formal Ontology
27	A formal theory of qualitative size and distance relations between regions Thomas Bittner1,2,3,4 and Maureen Donnelly1,3 3 1 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-07-16 13:28:13 Metric Metric geometry Topology Expected value Group theory Non-associative algebra Mathematical physics Partial correlation Mutual information
28	Discovering Unanticipated Dependency Schemas in Class Hierarchies ∗ Gabriela Ar´evalo, St´ephane Ducasse, Oscar Nierstrasz Software Composition Group, University of Bern www.iam.unibe.ch/∼scg Abstract Object-orient Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Object-oriented programming Ontology Inheritance Class Formal concept analysis Method overriding Schema Method Dependency grammar
29	\| 10 SEAMLESS GROUP SESSION GUIDE Rather than a formal leader guide in the back, we’ve provided what we hope is a simple Add to Reading List Source URL: s7d9.scene7.com Language: English - Date: 2016-02-23 16:58:50 Book of Genesis Noach Prophet Homework Noah Abraham
30	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton